require_relative 'denotational/add'
require_relative 'denotational/assign'
require_relative 'denotational/boolean'
require_relative 'denotational/do_nothing'
require_relative 'denotational/if'
require_relative 'denotational/less_than'
require_relative 'denotational/multiply'
require_relative 'denotational/number'
require_relative 'denotational/sequence'
require_relative 'denotational/variable'
require_relative 'denotational/while'
